Noncappable Enumeration Degrees Below 0'e
نویسندگان
چکیده
We prove that there exists a noncappable enumeration degree strictly below 0 0 e. Two notions of relative computability, Turing and enumeration re-ducibility, are basic to any natural ne-structure theory for the classes of computable and incomputable objects. Of the theories for the corresponding degree structures (D D D and D D D e), that for the Turing degrees is the better developed, mainly due to the depth of knowledge of spe-ciic local structure (see for example Lerman Le83], Odifreddi Od89] and Soare So87]). Despite its importance (see Co90]) in applications to nondeterministic computations, to relative computability involving partial information, in providing models of-calculus, and in setting 1991 Mathematics Subject Classiication. 03D30.
منابع مشابه
An Algebraic Decomposition of the Recursively Enumerable Degrees and the Coincidence of Several Degree Classes with the Promptly Simple Degrees1
We specify a definable decomposition of the upper semilattice of recursively enumerable (r.e.) degrees R as the disjoint union of an ideal M and a strong filter NC. The ideal M consists of 0 together with all degrees which are parts of r.e. minimal pairs, and thus the degrees in NC are called noncappable degrees. Furthermore, NC coincides with five other apparently unrelated subclasses of R: EN...
متن کاملLattice Embeddings into the R . E . Degrees Preserving 0 and 1
We show that a nite distributive lattice can be embedded into the r.e. degrees preserving least and greatest element i the lattice contains a join-irreducible noncappable element.
متن کاملThe 02 Enumeration Degrees Are Not
We show that the 0 2 enumeration degrees are not dense. This answers a question posed by Cooper. 1 Background Cooper 3] showed that the enumeration degrees (e-degrees) are not dense. He also showed that the e-degrees of the 0 2 sets are dense 2]. Since Cooper's nondensity proof constructs a 0 7 set, he posed the question: What is the least n (2 n 6) such that the e-degrees below 0 n are not den...
متن کاملA non-splitting theorem in the enumeration degrees
We complete a study of the splitting/non-splitting properties of the enumeration degrees below 0′e by proving an analog of Harrington’s non-splitting theorem for the Σ2 enumeration degrees. We show how non-splitting techniques known from the study of the c.e. Turing degrees can be adapted to the enumeration degrees.
متن کاملThe Jump Operator on the Ω-enumeration Degrees
The jump operator on the ω-enumeration degrees is introduced in [11]. In the present paper we prove a jump inversion theorem which allows us to show that the enumeration degrees are first order definable in the structureDω ′ of the ω-enumeration degrees augmented by the jump operator. Further on we show that the groups of the automorphisms of Dω ′ and of the enumeration degrees are isomorphic. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 61 شماره
صفحات -
تاریخ انتشار 1996